toggle tool button: Use standard padding
authorMatthias Clasen <mclasen@redhat.com>
Tue, 28 May 2019 22:58:31 +0000 (18:58 -0400)
committerMatthias Clasen <mclasen@redhat.com>
Tue, 28 May 2019 22:58:31 +0000 (18:58 -0400)
commit5db4530a22be623deeea80ed37386c690b9e4e3d
tree5871189dbaa04124b74c87cfd4e796239c394628
parent4b5fee943eaa42a325c5c0ede6be59257ecf7b51
toggle tool button: Use standard padding
gtk/gtktoggletoolbutton.h